English translation for "curry-howard correspondence"

curry-howard对应
curry-howard同构

Related Translations:

curried:  adj.1.(菜)用咖喱烧的。2.(马等)梳刷过的。3.(皮革)鞣制过的。短语和例子curried rice with beef 咖喱牛肉饭。

currying:  curry化加脂操作加脂法梳洗加色

luke howard:  路克何华特

correspondence teaching:  函授教学

giblets curry:  咖喱鸡杂

chicken curry:  鸡咖喱咖哩鸡咖喱鸡

curry laksa:  咖喱叻沙

curry shrimp:  咖喱虾

curry potato:  咖喱土豆

curried prawns:  咖喱明虾

Similar Words：

"curry shredded fillet" English translation, "curry shrimp" English translation, "curry tree" English translation, "curry vegetables" English translation, "curry wool" English translation, "curry-howard对应" English translation, "curry-howard同构" English translation, "currycomb" English translation, "currycomb file" English translation, "curryhoward" English translation